From: Wei Liu Date: Wed, 26 Apr 2017 11:13:34 +0000 (+0100) Subject: seabios: run olddefconfig X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~2190 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=0a5370ee1f9808fbb16bb03d7f349921cf73a2d4;p=xen.git seabios: run olddefconfig We provided a base config file in 970f8de3e. To generate a full config file, running olddefconfig is required. Signed-off-by: Wei Liu Acked-by: Ian Jackson Release-acked-by: Ian Jackson --- diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile index 2ec20f81e6..8562f547bc 100644 --- a/tools/firmware/Makefile +++ b/tools/firmware/Makefile @@ -22,6 +22,7 @@ ovmf-dir: seabios-dir: GIT=$(GIT) $(XEN_ROOT)/scripts/git-checkout.sh $(SEABIOS_UPSTREAM_URL) $(SEABIOS_UPSTREAM_REVISION) seabios-dir cp seabios-config seabios-dir/.config; + $(MAKE) -C seabios-dir olddefconfig .PHONY: all all: $(SUBDIRS-y)